Set Complement Definition The complement of a set A is defined as the set of everything which is not in AAc=U−A. Here U denotes the universal set, which is sometimes explicitly named, and sometimes implied, and includes all objects that are relevant to the current context.